Syntax Programming
نویسنده
چکیده
This paper describes a new programming technology that is to syntax analysis as formal logic is to logic programming, and which we have accordingly named syntax programming. The table-driven nature of bottom-up parsers provides this approach with a number of attractive features, among which are compactness, portability, and introspective capability. Syntax programming has been successfully used for a number of applications, including expert system construction and robot control as well as non-AI problems.
منابع مشابه
Meta-programming with Concrete Object Syntax
Meta programs manipulate structured representations, i.e., abstract syntax trees, of programs. The conceptual distance between the concrete syntax meta-programmers use to reason about programs and the notation for abstract syntax manipulation provided by general purpose (meta-) programming languages is too great for many applications. In this paper it is shown how the syntax definition formalis...
متن کاملAbstract Syntax and Logic Programming
Syntax and Logic Programming Dale Miller University of Pennsylvania This paper is posted at ScholarlyCommons. http://repository.upenn.edu/cis reports/409 Abstract Syntax and Logic ProgrammingSyntax and Logic Programming MS-CIS-91-72 LINC LAB 209
متن کامل[hal-00772522, v1] Relating nominal and higher-order abstract syntax specifications
Nominal abstract syntax and higher-order abstract syntax provide a means for describing binding structure which is higher-level than traditional techniques. These approaches have spawned two different communities which have developed along similar lines but with subtle differences that make them difficult to relate. The nominal abstract syntax community has devices like names, freshness, name-a...
متن کاملElements of Programming Languages Lecture
Syntax Trees (ASTs) We view a BNF grammar to define a collection of abstract syntax trees, for example:
متن کاملFresh O'Caml: Nominal Abstract Syntax for the Masses
Nominal abstract syntax, as pioneered by the ‘FreshML’ series of metalanguages, provides first-order tools for the representation and manipulation of syntax involving bound names, binding operations and α-equivalence. Fresh O’Caml fuses nominal abstract syntax with the full Objective Caml language to yield a functional programming language with powerful facilities for representing and manipulat...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1984